% This file was created with JabRef 2.9.2.
% Encoding: Cp1252


@INPROCEEDINGS{Apfelbaum97modelbased,
  author = {Larry Apfelbaum and John Doyle},
  title = {Model Based Testing},
  booktitle = {Software Quality Week Conference},
  year = {1997},
  pages = {296--300}
}


@ARTICLE{Bouquet:2005:RTA:1082983.1083282,
  author = {Bouquet, F. and Jaffuel, E. and Legeard, B. and Peureux, F. and Utting,
	M.},
  title = {Requirements traceability in automated test generation: application
	to smart card software validation},
  journal = {SIGSOFT Softw. Eng. Notes},
  year = {2005},
  volume = {30},
  pages = {1--7},
  number = {4},
  month = may,
  acmid = {1083282},
  address = {New York, NY, USA},
  doi = {10.1145/1082983.1083282},
  issn = {0163-5948},
  issue_date = {July 2005},
  keywords = {formal model, model-based testing, requirements traceability},
  numpages = {7},
  publisher = {ACM},
  url = {http://doi.acm.org/10.1145/1082983.1083282}
}


@INPROCEEDINGS{Bouquet:2004:MTG:2131546.2131550,
  author = {Bouquet, Fabrice and Legeard, Bruno and Peureux, Fabien and Torreborre,
	Eric},
  title = {Mastering test generation from smart card software formal models},
  booktitle = {Proceedings of the 2004 international conference on Construction
	and Analysis of Safe, Secure, and Interoperable Smart Devices},
  year = {2005},
  series = {CASSIS'04},
  pages = {70--85},
  address = {Berlin, Heidelberg},
  publisher = {Springer-Verlag},
  acmid = {2131550},
  doi = {10.1007/978-3-540-30569-9_4},
  isbn = {3-540-24287-2, 978-3-540-24287-1},
  keywords = {automated test generation, boundary testing, formal specifications,
	functional testing, smart card standard},
  location = {Marseille, France},
  numpages = {16}
}


@INPROCEEDINGS{Clarke:recall,
  author = {Clarke, S. and Willett, P},
  title = {Estimating the recall performance of search engines},
  booktitle = {ASLIB Proceedings},
  year = {1997.},
  owner = {Arthur},
  timestamp = {2013.10.12}
}


@INPROCEEDINGS{Dalal99model-basedtesting,
  author = {S. R. Dalal and A. Jain and N. Karunanithi and J. M. Leaton and C.
	M. Lott and Bellcore Bellcore},
  title = {Model-based testing in practice},
  booktitle = {Proc. Intl. Conf. on Software Engineering (ICSE '99)},
  year = {1999},
  pages = {285--294}
}


@INPROCEEDINGS{DiasNeto:2007:SMT:1353673.1353681,
  author = {Dias Neto, Arilo C. and Subramanyan, Rajesh and Vieira, Marlon and
	Travassos, Guilherme H.},
  title = {A survey on model-based testing approaches: a systematic review},
  booktitle = {Proceedings of the 1st ACM international workshop on Empirical assessment
	of software engineering languages and technologies: held in conjunction
	with the 22nd IEEE/ACM International Conference on Automated Software
	Engineering (ASE) 2007},
  year = {2007},
  series = {WEASELTech '07},
  pages = {31--36},
  address = {New York, NY, USA},
  publisher = {ACM},
  acmid = {1353681},
  doi = {10.1145/1353673.1353681},
  isbn = {978-1-59593-880-0},
  keywords = {model-based testing, survey, systematic review, test case generation,
	testing approaches},
  location = {Atlanta, Georgia},
  numpages = {6},
  url = {http://doi.acm.org/10.1145/1353673.1353681}
}


@ARTICLE{Diev:2006:UCM:1218776.1218780,
  author = {Diev, Sergey},
  title = {Use cases modeling and software estimation: applying use case points},
  journal = {SIGSOFT Softw. Eng. Notes},
  year = {2006},
  volume = {31},
  pages = {1--4},
  number = {6},
  month = nov,
  acmid = {1218780},
  address = {New York, NY, USA},
  doi = {10.1145/1218776.1218780},
  issn = {0163-5948},
  issue_date = {November 2006},
  keywords = {UCP, UCPm, actor, design, function point, maintenance, project management,
	software effort, software engineering, software estimation, software
	size, use case, use case model, use case points, use case transaction},
  numpages = {4},
  publisher = {ACM},
  url = {http://doi.acm.org/10.1145/1218776.1218780}
}


@ARTICLE{5386905,
  author = {Farchi, E. and Hartman, A. and Pinter, S.S.},
  title = {Using a model-based test generator to test for standard conformance},
  journal = {IBM Systems Journal},
  year = {2002},
  volume = {41},
  pages = {89-110},
  number = {1},
  doi = {10.1147/sj.411.0089},
  issn = {0018-8670}
}


@INPROCEEDINGS{Ferreira:Target:CBSOFT,
  author = {Felype Ferreira and La\'{i}s Neves and Michelle Silva and Paulo Borba},
  title = {TaRGeT: a Model Based Product Line Testing Tool},
  year = {2010},
  journal = {Tool Session},
  booktitle = {Brazilian Conference on Software Engineering: Theory and Practice} ,
  owner = {Arthur},
  timestamp = {2013.08.26}
}


@INPROCEEDINGS{Hamlet:1989:TCT:75308.75313,
  author = {Hamlet, R.},
  title = {Theoretical comparison of testing methods},
  booktitle = {Proceedings of the ACM SIGSOFT '89 third symposium on Software testing,
	analysis, and verification},
  year = {1989},
  series = {TAV3},
  pages = {28--37},
  address = {New York, NY, USA},
  publisher = {ACM},
  acmid = {75313},
  doi = {10.1145/75308.75313},
  isbn = {0-89791-342-6},
  location = {Key West, Florida, USA},
  numpages = {10},
  url = {http://doi.acm.org/10.1145/75308.75313}
}


@INPROCEEDINGS{479366,
  author = {Mei-Chen Hsueh},
  title = {Large complex system test: objectives and approaches},
  booktitle = {Engineering of Complex Computer Systems, 1995. Held jointly with
	5th CSESAW, 3rd IEEE RTAW and 20th IFAC/IFIP WRTP, Proceedings.,
	First IEEE International Conference on},
  year = {1995},
  pages = {405-408},
  doi = {10.1109/ICECCS.1995.479366},
  keywords = {distributed processing;program testing;program verification;black-box
	system testing;functional aspects;large complex system test;nonfunctional
	aspects;structure testing technique;system application environments;system
	test objectives;usage-model approach;Availability;Computer networks;Control
	systems;Distributed computing;Globalization;Monitoring;Operating
	systems;Performance evaluation;Resource management;System testing}
}


@INPROCEEDINGS{Pretschner:2005:OEM:1062455.1062529,
  author = {Pretschner, A. and Prenninger, W. and Wagner, S. and K\"{u}hnel,
	C. and Baumgartner, M. and Sostawa, B. and Z\"{o}lch, R. and Stauner,
	T.},
  title = {One evaluation of model-based testing and its automation},
  booktitle = {Proceedings of the 27th international conference on Software engineering},
  year = {2005},
  series = {ICSE '05},
  pages = {392--401},
  address = {New York, NY, USA},
  publisher = {ACM},
  acmid = {1062529},
  doi = {10.1145/1062455.1062529},
  isbn = {1-58113-963-2},
  keywords = {CASE, abstraction, automotive software, coverage, model-based development,
	test case generation},
  location = {St. Louis, MO, USA},
  numpages = {10},
  url = {http://doi.acm.org/10.1145/1062455.1062529}
}





@article{Grieskamp:2011:MQA:1952602.1952605,
 author = {Grieskamp, Wolfgang and Kicillof, Nicolas and Stobie, Keith and Braberman, Victor},
 title = {Model-based Quality Assurance of Protocol Documentation: Tools and Methodology},
 journal = {Softw. Test. Verif. Reliab.},
 issue_date = {March 2011},
 volume = {21},
 number = {1},
 month = mar,
 year = {2011},
 issn = {0960-0833},
 pages = {55--71},
 numpages = {17},
 url = {http://dx.doi.org/10.1002/stvr.427},
 doi = {10.1002/stvr.427},
 acmid = {1952605},
 publisher = {John Wiley and Sons Ltd.},
 address = {Chichester, UK},
 keywords = {Spec Explorer, model-based, protocols, quality assurance process, test-driven},
}


@BOOK{Wohlin:2000:ESE:330775,
  title = {Experimentation in software engineering: an introduction},
  publisher = {Kluwer Academic Publishers},
  year = {2000},
  author = {Wohlin, Claes and Runeson, Per and H\"{o}st, Martin and Ohlsson,
	Magnus C. and Regnell, Bj\"{o}orn and Wessl{\'e}n, Anders},
  address = {Norwell, MA, USA},
  isbn = {0-7923-8682-5}
}


@misc{xml10fifth,
  abstract = {The Extensible Markup Language (XML) is a subset of SGML that is completely described in this document. Its goal is to enable generic SGML to be served, received, and processed on the Web in the way that is now possible with HTML. XML has been designed for ease of implementation and for interoperability with both SGML and HTML.},
  added-at = {2009-01-14T00:43:43.000+0100},
  author = {Bray, Tim and Paoli, Jean and Sperberg-McQueen, C. Michael and Maler, Eve and Yergeau, Fran\c{c}ois},
  biburl = {http://www.bibsonomy.org/bibtex/274e32ed3d316702d5c4b6a2027d85d5a/dret},
  description = {dret'd bibliography},
  howpublished = {World Wide Web Consortium, Recommendation REC-xml-20081126},
  interhash = {9b4925af49b73d8d5c9d3c61449f06b2},
  intrahash = {74e32ed3d316702d5c4b6a2027d85d5a},
  keywords = {imported},
  month = {November},
  timestamp = {2009-01-14T00:43:43.000+0100},
  title = {Extensible Markup Language (XML) 1.0 (Fifth Edition)},
  topic = {xml[1] dtd[1]},
  updates = {xml10fourth},
  uri = {http://www.w3.org/TR/2008/REC-xml-20081126},
  year = 2008
}



@ARTICLE{5399061,
  title = {IEEE Standard Classification for Software Anomalies},
  journal = {IEEE Std 1044-2009 (Revision of IEEE Std 1044-1993)},
  year = {2010},
  pages = {C1-15},
  doi = {10.1109/IEEESTD.2010.5399061},
  keywords = {security of data;software process improvement;IEEE standard classification;classification
	data;defect causal analysis;defect detection;project management;software
	anomalies;software process improvement;anomaly, bug, classification,
	defect, error, failure, fault, problem}
}
